00100	       REPRESENTATION OF INFORMATION FOR GENERAL INTELLIGENCE
00200	
00300	
00400		Most progress in AI so far has been with programs that  solve
00500	problems  in  narrow  domains.    In  these cases, the programmer can
00600	choose how to represent information in the computer conveniently. For
00700	a  general  intelligent  program,  we  must represent any information
00800	available about the particular situation, about general facts,  about
00900	the  laws  that  determine the consequences of actions, and about how
01000	additional needed knowledge is to be obtained.
01100	
01200		These  lectures  will  concern   an   approach   to   general
01300	intelligence based on representing information primarily by sentences
01400	in a suitable extension  of  predicate  calculus.    Other  forms  of
01500	representation  are  present  but are described by predicate calculus
01600	sentences.  Formalisms  for  describing  causality,  the  ability  to
01700	perform  actions,  and knowledge will be emphasized. The paper, "Some
01800	Philosophical   Problems   from   the   Standpoint   of    Artificial
01900	Intelligence",  Machine Intelligence 4, University of Edinburgh Press
02000	will be followed and more recent developments presented.